Die Church-Turing-These (benannt nach Alonzo Church und Alan Turing, auch Churchsche These genannt) trifft Aussagen über die Fähigkeiten einer Rechenmaschine. Sie lautet: Diese These ist nicht beweisbar, da der Begriff intuitiv berechenbare Funktion nicht exakt formalisiert werden kann. Man versteht darunter alle Funktionen, die prinzipiell auch...
Gefunden auf
https://de.wikipedia.org/wiki/Church-Turing-These
Die Church-Turing-These geht von der formal bewiesenen Äquivalenz der Algorithmenbegriffe von Alonzo Church und Alan Turing aus. In ihrer verallgemeinerten Form vermutet sie, dass sämtliche formalen Algorithmenbegriffe, auch alle zukünftigen, maximal zu diesen beiden äquivalent sind (oder einen geringeren Geltungsanspruch be...
Gefunden auf
https://www.enzyklo.de/Lokal/40004
Keine exakte Übereinkunft gefunden.
